extract:
	${tooldir}/rscs2bgf ${rascaldir}/dimacs/syntax/Dimacs.rsc grammar.bgf

include ../../Makefile.grammar
